﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.VisualStudio.TestTools.UnitTesting;

namespace MicroBenchmarks.WifeHusband
{
    [PexClass(typeof(Father))]
    [TestClass]
    public partial class WifeHusbandTest
    {
        [PexMethod]        
        public void WifeHusbandPUT([PexAssumeUnderTest]Father f)
        {
            f.IsSelfGood();
        }
    }
}
